Boolean lifting property in quantales
نویسندگان
چکیده
منابع مشابه
Lifting the Determinantal Property
In this note we study standard and good determinantal schemes. We show that there exist arithmetically Cohen-Macaulay schemes that are not standard determinantal, and whose general hyperplane section is good determinantal. We prove that if a general hyperplane section of a scheme is standard (resp. good) determinantal, then the scheme is standard (resp. good) determinantal up to flat deformatio...
متن کاملOn the Unique-Lifting Property
We study the uniqueness of minimal liftings of cut generating functions obtained from maximal lattice-free polytopes. We prove a basic invariance property of unique minimal liftings for general maximal lattice-free polytopes. This generalizes a previous result by Basu, Cornuéjols and Köppe [3] for simplicial maximal lattice-free polytopes, thus completely settling this fundamental question abou...
متن کاملBoolean Lifting Properties for Bounded Distributive Lattices
In this paper, we introduce the lifting properties for the Boolean elements of bounded distributive lattices with respect to the congruences, filters and ideals, we establish how they relate to each other and to significant algebraic properties, and we determine important classes of bounded distributive lattices which satisfy these lifting properties.
متن کاملMaximal residuated lattices with lifting Boolean center
In this paper we define, inspired by ring theory, the class of maximal residuated lattices with lifting Boolean center and prove a structure theorem for them: any maximal residuated lattice with lifting Boolean center is isomorphic to a finite direct product of local residuated lattices. MSC: 06F35, 03G10.
متن کاملBoolean factor Congruences and Property (*)
A variety V has Boolean factor congruences (BFC) if the set of factor congruences of every algebra in V is a distributive sublattice of its congruence lattice; this property holds in rings with unit and in every variety which has a semilattice operation. BFC has a prominent role in the study of uniqueness of direct product representations of algebras, since it is a strengthening of the refineme...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Soft Computing
سال: 2020
ISSN: 1432-7643,1433-7479
DOI: 10.1007/s00500-020-04752-8